Global State Considered Helpful

نویسنده

  • Paul Blain Levy
چکیده

Reynolds’ view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in particular game semantics, by adding to typing contexts a zone for global state. This has the following advantages. Firstly, it causes the “good variable” equations for references to be validated, and also the noninterference equations between distinct references, as enumerated by Plotkin and Power. Secondly, it gives a cleaner categorical structure based on the configurations (state + program) used to describe operational semantics. Thirdly, it leads to a simpler proof that the game semantics is sound and adequate with respect to the operational semantics.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Observability-Enhanced PMU Placement Considering Conventional Measurements and Contingencies

Phasor Measurement Units (PMUs) are in growing attention in recent power systems because of their paramount abilities in state estimation. PMUs are placed in existing power systems where there are already installed conventional measurements, which can be helpful if they are considered in PMU optimal placement. In this paper, a method is proposed for optimal placement of PMUs incorporating conve...

متن کامل

State Support: A Prerequisite for Global Health Network Effectiveness; Comment on “Four Challenges that Global Health Networks Face”

Shiffman recently summarized lessons for network effectiveness from an impressive collection of case-studies. However, in common with most global health governance analysis in recent years, Shiffman underplays the important role of states in these global networks. As the body which decides and signs international agreements, often provides the resourcing, and is responsible for implementing ini...

متن کامل

Call for Articles

Do you have an article you would like to have considered for publication? Submit it to Global Advances in Health and Medicine! A review of the following standards will be helpful as you prepare your article for submission.

متن کامل

Global properties of a tuberculosis model with lost sight and multi-compartment of latents

A  tuberculosis (TB) model with  lost sight  and multiple latent classes  is considered and studied. We derive the basic reproduction ratio $mathcal R_0$. There is always a globally asymptotically stable equilibrium state. Depending on the value of   $mathcal{R}_0$, this state can be either endemic ($mathcal{R}_0> 1$), or infection-free ($mathcal{R}_0leq 1$). The global asymptotic stability of ...

متن کامل

Agency, Structure and the Power of Global Health Networks

Global health networks—webs of individuals and organizations linked by a shared concern for a particular condition—have proliferated over the past quarter century. In a recent editorial in this journal, I presented evidence that their effectiveness in addressing four challenges—problem definition, positioning, coalitionbuilding and governance—shapes their ability to influence policy. The editor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 218  شماره 

صفحات  -

تاریخ انتشار 2008